def alpha[A]: Reader[Unit, A] => Option[A]